AWS Zelkova
https://www.youtube.com/watch?v=5A9PxN_wV-M
https://aws.amazon.com/jp/security/provable-security/
https://speakerdeck.com/ytaka23/cicd-conference-2021?slide=25
チェシャ猫
さん
SMT solver
を使って
IAM Policy
の検証をする
論文
Semantic-based Automated Reasoning forAWS Access Policies using SMT
https://d1.awsstatic.com/Security/pdfs/Semantic_Based_Automated_Reasoning_for_AWS_Access_Policies_Using_SMT.pdf